perm filename VERTS.300[CM,DEK] blob
sn#794110 filedate 1985-05-22 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εRp→G#λ~ε∀ FcE(*B@u_∧Ta∃_∧Ta∃_α E_α E_α E_α E⊂α@ U⊂α@ U⊂α@ U⊂α@ U⊂α@ U⊂α@ U⊂α@ U⊂α@U⊂α@Uλα@@eλα@@eλα@`Uλα@`Uλα@`Uλα@`Uλα@`Uλα@`Uλα@`Uβ`eβ`eβ`eαAeαAeαAeαA UαA UαA Txβ↓ dxβ↓ dxβ↓ dxβ↓ dxβ↓ dxαA@dxαA@dxαA`Tpβ↓`dpβ↓`dpβ↓`dpβ↓`dpβ↓`dpβ↓`dpβ↓`dpαBdp S"Th
S"Thβα dhβα dhβα dhβα dhβα dhαB@d`βα@t`βα`d`βα`d`βα`d`βα`d`βα`d`βα`d`βα`d`αCdXββtXββ dXββ dXββ dXββ dXββ dXββ dXββ dXαC@dPββ@tPββ`dPββ`dPββ`dPββ`dPαDd("⊂BaP*U ⊂h%∧ !λ%∧I 0βA) 0∧↓) 0∧↓) 0∧↓I 0∧↓I 0∧↓I 0∧A) 0∧A) 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧A) 0∧A) 0∧A) 0∧A) 0∧↓I 0∧↓) 0∧↓) 0∧↓ 0∧↓ 0βA !%βi!λ%↓A %↓A(%↓A⊂ %↓A⊂(%↓A⊂(%↓A⊂(%↓A⊂0%↓A (%↓A (%↓A (%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A 0%↓A (%↓A (%↓A (%↓A⊂0%↓A⊂0%↓A⊂(%↓A⊂(%↓A⊂(%↓A(%∧i!⊂%∧)0p"Qλ1P∞Uj`XβA`∃_¬A ∃⊂εA∃λπ@@%β↓ `λ↓∀P@α $xαB@dxαB@dpαCTpαCThββThββThαC ThαC T`ββ T`ββ T`αC@T`αC@T`αC@TXββ@TXββ dXββ dXββ dXββ dXαC@dXαC@dXαC@dPββ@dPββ@dPββ@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@`pβ∩@`pβ∩`Ppβ∩`Ppβ∩`Ppβ∩``hβ∩``hβ∩``hβ∩``pαR``pαSPpαSPpαSPpαS`hαS`hα∪ Phα∪ Phα∪ ``α∪ ``α∪@P`α∪@P`↓S`PPα∪`PPα∀P@α∀`(β∀!u⊂εTa5(βQ(D G*U(CI!λ%∧I!_%↓@p0%↓A0%↓A⊂(%↓A⊂0%↓A (%↓A 0%↓A 0%↓A0(%↓A0(%↓A00%↓A00%↓A@(%↓A@(%↓A@(%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓AP(%↓AP(%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP0%↓AP(%↓AP(%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@0%↓A@(%↓A@(%↓A00%↓A00%↓A0(%↓A0(%↓A 0%↓A (%↓A (%↓A⊂0%↓A⊂(%↓A0%↓@p0%∧i!⊂%∧)0p"QλQ(U*Pλ ∩B4P RB4PβαTPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPπ∩AdPπ∩AdPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβα@TP
RBTP
RbD("⊃B!0*U ⊃λ%∧I!⊂%∧I 0βA) 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I h%β) h%β) 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0("Qλqp⊂Uj``βα∃ ¬↓@∃_ε↓ ∃⊂π`%λβ↓ P⊂↓∀`@↓@@%αB@0λ↓∪``P↓@ $xαCTpββTpαC TpαC Thββ ThαC@ThαC@T`ββ@T`ββ@T`ββ@T`αC`T`αC`TXββ`TXββ@dXββ@dXββ@dXββ@dXαC`dXαC`dXαC`dPββ`dPββ`dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβαAdPβα!tPβα!tPβαAdPββ`dPββ`dPββ`dPββ`dXαC`dXαC`dXαC`dXαC`dXββ@dXββ@dXββ@dXββ@d`αC@d`αC@d`αC@d`αC t`ββthαCthαCthαCtpαB`tpαB`tpαBA∧xααA∧xαB!¬αα↓∃αAa∃λαA!%⊂ Tb% ¬ e0β↓T("∩β↓`*U ⊂(εA) 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I!@%ε !@%ε 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I0(εA(T $AA%(*@ TPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dXαQ(DPλ∧*e(¬↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓I0 αAI 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0α↓I 0↓AI 0↓AI0(↓AI0(↓AI0(↓A)0(↓A)@(A)@(A)PH'↓j_"Q 1H∞U*PλαC TPββ TPββ TPββdPββTPββTPβα`TPβα`TPβα`TPβα@TPβα@TPβα@TPβα TPβα TPβα TPβαTPβαTPβαTPβ↓`TPβ↓`TPβ↓`TPβ↓@TPβ↓@TPβ↓@TPβ↓ TPβ↓ TPβ↓ TPβ↓TPβ↓TPβ↓TPβ`TPβ`TPβ`TPβ@TPβ@dPβ@dPβ tPβ tPβ tPπRAtPπRAtPλ∩B∧P∧@ dP∧@ dP∧@@dP∧`dP∧`dP∧`dPβAdPβA dPβA dPβ↓@dPβ↓@dPβ↓`dPβ↓`dPβ↓`dPβ↓`dPβαTPβαdPβαdPβαdPβαdPβα dPβα dPβα dPβα dPβα@dPβα@dPβα@dPβα@dPβα`TPβα`dPβα`dPβα`dPβα`dPββdPββdPββdPββdPββ dPββ dPββ dXαC d("∪α⊃(*U ⊂(%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓@`(%∧)!λ%∧)1"Q R∩∃*PλβD↓∧P∧CA∀P∧CA∀P∧CA∀P∧CA∀Pα@ 0p↓ dPα@ 0p↓ dPα@ 0p↓ dPα@ 0p↓ dPα@ 0p↓ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ @`↓@ dPα@ PPα dPα@ PPα dPα@ PPα dPα@ PPα dPα@ PPα dPα@ PPα dPα@ PPα dPα@@@P↓@@dPα@@@P↓@@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@P@α@dPα@@`0α@@dPα@@`0α@@dPα@@`0α@@dPα@`P0α`dPα@`P0α`dPα@`P0α`dPα@`P0α`dPα@`P0α`dPα@`P0α`dPα@`P0α`dPα@`` α@`dPα@`` α@`dPα@`` α@`dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαAP α↓dPαA`⊂αAdPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA P⊂α↓ dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA@@⊂↓A@dPαA`0⊂↓↓`dPαA`0⊂↓↓`dPαA`0⊂↓↓`dPαA`0⊂↓↓`dPαA`p8β∩@P8βA`dPαA`p8β∩@P8βA`dPαBP@β∩`A0αQ(Dpπ
U(Aa@ %α! (%α! (%α! (%α! (%↓ ⊂_¬↓) (@a (%↓ ⊂ ∧A) (A↓⊂(%↓ ⊂ ∧A) (A↓⊂(%↓ ⊂ ∧A) (A↓⊂(%↓ ⊂ ∧A) (A!(%↓ ⊂(∧↓) (A!(%↓ ⊂(∧↓) (↓↓↓(%↓ ∧↓) (↓↓↓(%↓ (βA) (↓↓ p(%↓ (βA) (↓↓ p(%↓ (βA) (↓↓ p(%↓ 0β↓) (↓A `(%↓ 0(β↓) (↓A `(%↓ 0(β↓) (↓A `(%↓ 0(β↓) (↓A@P(%↓ 00αA) (↓A@P(%↓ @(αA) (α↓ P(%↓ @(αA) (α↓ P(%↓ @(αA) (α↓@@(%↓ @0α↓) (αA @(%↓ P(α↓) (αA @(%↓ P(α↓) (αA @(%↓ P0↓A) (αA@0(%↓ P0↓A) (β↓ 0(%↓ `(↓A) (β↓ 0(%↓ `(↓A) (β↓ 0(%↓ `(↓A) (β↓@ (%↓ p(↓↓) (βA (%↓ p(↓↓) (βA (%↓ p(↓↓) (βA (%↓! ↓↓) (∧↓ (%↓! ↓↓) (∧↓ ⊂(%↓!(A) (∧↓ ⊂(%↓!(A) (∧A⊂(%↓!⊂ A) (∧A⊂(%↓!⊂ A) (∧A⊂(%↓!⊂ A) (∧A⊂(%↓! _A) (¬`⊂(%↓! H%↓! H%↓! H%↓! H%A↓0@"Q qP∞Uj`Xα∀a¬⊂¬∀ @ α∀@0α∀0@↓S`@@α∪`@@α∪@@Pα∪@@Pα∪@@Pα∪ PPαS PPαS @`α∪P`αSP`αSP`αSP`αSP`αR```β∩```β∩```β∩`PpαR`PpαR`PpαR`PpαR`PpαR@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩`PpαR`PpαR`PpαR`PpαR```β∩```β∩```β∩```β∪P`αSP`αSP`αSP`αSP`αS PPαS PPαS PPαS@@Pα∪@@Pα∪@P@αS`@@α∪`@@α∀@0α∀@0α∀ @ α∀A%_∧∃ D("∀αQH*U ⊂h%∧ !λ%∧I 0β↓I 0βAI 0βAI 0∧↓) 0∧↓I 0∧↓I 0∧↓I 0∧A) 0∧A) 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧A) 0∧A) 0∧↓I 0∧↓I 0∧↓) 0∧↓) 0βAI 0βA) 0β↓I!λ%∧ p%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0("Q
⊃P∞Xj`Xα∀a¬⊂¬∀ @ α∀@0α∀@0α∪`@@α∪`@@α∪@@Pα∪@@Pα∪@@Pα∪ PPαS PPαS PPαSP`αSP`αSP`αSP`αSP`αR```β∩```β∩```β∩```β∩`PpαR`PpαR`PpαR`PpαR@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩@`pβ∩`PpαR`PpαR`P0α↓TXαA@@ αR``(α`dXβ↓ P⊂β∩``0α@dXβ↓@@⊂β∪P0α@T`αA@PλαSP0α@ T`αA`@λαSP8¬∪ P0∧S P0∧S P0∧S@@8βS@@8βS@@8βS`@0β∪`@0β∀@0αT@0αT @ β∀Ae_εU @⊂αV`UXβ⊗`e`αWU`β↔e`β↔ Uhβ↔ ehβ⊃(E⊂
Gje(C x%∧ !λ%↓@P8%↓@`0%↓@p0%↓@p0%↓A(%↓A0%↓A0%↓A0%↓A⊂(%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂0%↓A⊂(%↓A⊂(%↓A0%↓A0%↓A(%↓A(%↓@p0%↓@p(%↓@`0%↓@P0%∧ x%βi 0β↓ 0β@i 0βA 0βA 0βA) 0βA) 0βA) 0βA) 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βA@0 %↓@p0↓↓I 0βA@ 0%↓@p0↓↓I 0βA@ 0%↓@p0↓A) 0βA@0(%↓A(↓A) 0∧↓@0 %↓A0↓A 0∧A 0 %↓A⊂0↓i 0¬αI0(¬BP "Q
1⊂
Uj`(αA@∀p∧↓∀h¬`∀`ε $`α`Pλ↓∪@_∧∩`P_∧∩`@(βR`@(βR`@(βR`@(βR@P(βR@P(βR@P(βR@P(βR@P(βR@P(βR@P0β∩@P0β∩@P0β∩@P0β∩@P0β∩@P0β∩@@8β∩@@8β∩@@8β∩@@8β∩@@8β∩@@8β∩@DPα∩@DPα∩@DXα∩`DXαR`d`βS↓∧h∧SA∀x∧T↓∃⊂∧∀`u(β∃@U8α∃`E@α⊗E@α⊗E@α⊗E@α⊗E@α∩@`@α∩@`@α∩@`@α∩@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@p0αR@p0αR@p0α∩@p0α∩@p0α∩@p0α∩A(α∩A αR@ λαADP↓ `_α∩@⊂_¬R@⊂ ¬∩@⊂(∧∀@T("∃β⊃X*U ⊃@%ε)!H%ε)0(α↓@@(*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*↓J@0*A(T *Ec50*@ PXβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`Xβ∩@`XαR`PXαR``Hβ∩``Hβ∩``Hβ∩``Hβ∪PHαSPHαS`8β∪ P8αS P8αS `(β∪@P(αS@`_β∪aU¬T!∃_αQ(E0
G
U(↓B(%↓Ap0%↓Ap0%↓Ap0%↓Ap0%↓Ap0%A!p(%AA`(%AAP0%AAP0%AAP0%AAP0%AAP0%AAP0%AAP0&↓!P(&↓A@(&↓A00&↓A00&↓A00&↓A00&↓A00&↓A00&A!0(&A!0(&AA (&AA⊂0&AA⊂0&AA⊂0&AA⊂0&AA⊂0&AA⊂0'↓!⊂('↓!⊂('↓!⊂('↓A('↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'A p('A p('A p('A p('A@`('A@P0'A@P0'A@P0'A@P0(↓ P((↓ P((↓ P((↓ P((↓ P((↓ P((↓@@((↓@00(↓@00(A 0((A 0((A 0((A 0((A 0((A 0((A 0((A 0()↓0 )↓ )↓ ⊂()↓ ⊂()↓ ⊂()↓ ⊂()↓ ⊂()↓ ⊂()↓ ⊂()A⊂ )A⊂ )A⊂ )A⊂ )A⊂ )B*0H)B*0H*↓hT +J¬∃(*@`XβCDPβα`pXαR@`P∧α`TPβαA⊂PαR@`P∧B@TPβα@0λαB@TPβα@0λαB@TXαB@0λαB@DXαB@0λαB@DXβα 0λαB@DXβα 0λαB TXβα 0⊂αα TXβα 0⊂αα TXβα 0⊂αα TXβα@⊂αα TXβα@⊂αBTXβα@⊂αBTXβα@⊂αBTXβα@⊂αBT`αB@⊂αBD`αB@⊂αBD`β↓`@⊂αBD`β↓`@⊂αBD`β↓`@⊂αA`T`β↓`@⊂αA`T`β↓`@⊂αA`T`β↓@@_αA`T`β↓@@_αA`T`β↓@@_β↓@T`β↓@@_β↓@T`β↓@@ αA@ThαA@@ αA@DhαA@@ αA@DhαA@@ αA@Dhβ↓ @ αA@Dhβ↓ @ αA Thβ↓ @ αA Thβ↓ @ αA Thβ↓ @ αA Thβ↓P αA Thβ↓P αA Thβ↓@(β↓TpαA@(β↓DpαA@(β↓DpαA@0αADpαA@0αADpαA@0αADpαA@0αADpαA@0αADpβ`@0αADpβ`@0α@`Tpβ`@0α@`Tpβ`@0α@`Tpβ`@0α@`Txα@`08α@`Dxα@@@8α@`Dxα@@@8α@`Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Dxα@@@@α@@Eα@0Hα@@5α@0Hα@@5α@0Hα@@5α@ 0Pα@5α@ 0Pα Eα@ 0Pα Eα@ 0Pα Eα@ 0Pα Eα@ 0Pα Eα@ 0Pα Eα@ 0Pα Eλα 0Pα 5λα Xα 5λα Xα 5λα Xα 5λβCuλβCuλβCuλβCu⊂αC d("⊗β1`*U ⊂0ε↓I00ε↓I00ε↓I@(ε↓I@0¬A)@0¬↓I@0¬↓I@0¬↓IP0∧A)P0∧↓IP0∧↓IP0∧↓I`0βA)`0β↓I`0β↓I`0β↓Ip0αA)p0αA)p0α↓Ip0α↓J0↓A*0↓A*0↓↓J0↓↓J⊂0AJ⊂0A*⊂0A*⊂`)αj P)αJ P)B*0@)B
0@*↓j@0*↓J@0*↓J@0*↓J@8*↓j0@)B
0H)B* P)αJ X)αj⊂0A*⊂0A*⊂(↓↓J⊂(↓↓J0↓A*0↓A*(α↓J(α↓Ip0αA)p0αA)p0αAIp(β↓Ip(β↓I`0βA)`0βAI`(∧↓I`(∧↓IP0∧A)P0∧AIP0∧AIP(¬↓I@0¬A)@0¬AI@0¬AI@(ε↓I00εA)00εAI00εAI00εAI0(πAI 0πAI 0πAI 0πAHT ,G#U(*@aλβ∩@aλβ∩@qβ∩``xβR``xβ∩``xβ∩``xβ∩`ppβ∪`hβ∪`hβ∪`hβ∪p`β∪ `XβS `Xβ∪ `Xβ∪ pPβ∪@`Pβ∪@`Hβ∪@`Hβ∪@`Hβ∪``@β∪``@β∪``8β∪``8β∀P8β∀`0β∀`0β∀`0αT`(β∀ P(β∀ ` β∀ ` αT ` αT@P αT@P αT@P_β∀@`⊂αT`P⊂αT`P⊂αT`P⊂αT`P⊂α∃@⊂α∃@⊂α∃@λαU@λαU 0λα∃!¬(∧∃!¬(βU@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β⊃(EPε*U(E !(%¬)!(%A↓ 0,↓K0,↓K0,↓Jp8+AJp0+AJp0+AJ`0+↓J`0+↓J`0*AJP0*AJP0*AJP0*↓J@0*↓J@0*↓J00)AJ00)AJ00)↓j 0)↓J 0)↓J 0(AJ⊂0(AJ⊂0(AJ8(↓J0(↓J0(↓Ip0'AIp0'AIp0'↓I`0'↓I`0'↓I`0&AIP0&AIP0&AI@0&↓I@0&↓I@0%Ai00%AI00%AI00%↓A0(%¬I!0%¬I!0"Q⊃
Ng 0αSa∧p¬∪@@⊂αS P⊂β∪ P_αS P_αS`_β∪`_β∪` αS` αS` β∪` β∪` β∪` β∪` β∪` β∪` β∪ @(β∪@ 0β∃@e0β∃@e0β∃@e0β∃@e ∧∀A%α@ dxα@@dpα@`dhαAdhαAd`β↓d`αA dXβ↓ dXβ↓ dXβ↓ dXαA@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dXαA tXαA tXαA t`αAt`α@`⊂⊂βS!⊂βS@` β∪`D("_B! +∃ ⊂λ@i 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓@⊂ %β h%↓`0 %↓@@ %↓@P %↓@P %↓@P(%↓@P(%↓@P(%↓@P(%↓@`(%↓@`(%↓@`(%↓@`(%↓@`(%↓@`(%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`(%↓@`(%↓@`(%↓@`(%↓@P0%↓@P0%↓@P(%↓@P(%↓@P(%↓@P(%↓@@(%↓@@(%↓@@ %↓` (%β)0X(AλT 1Dα#X≥↓@TxβSA∀p∧S PλαS @⊂αSP⊂αSP⊂β∪P⊂β∪P⊂β∩``⊂β∩`P_β∩`P_β∩`P_β∩`P_β∩`P_β∩@`_β∩@`_β∩@` α∩@`(↓∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩`P β∩`P β∩`P β∩`P β∩`` αR`` αR`` αSP αSP(↓SP(↓S @(↓S P ↓S P_↓SA$x∧∀d("→α! +∃!p_+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J⊂ AJ`'C)`(↓AI` α↓IP(α↓IP(α↓I@(αAI@(αAI@(αAI@(αAI00αAI00αAI0(β↓I0(β↓I0(β↓I0(β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I0(β↓I0(β↓I0(β↓I0(β↓I0(β↓I0(β↓I@(αAI@(αAI@(αAI@(αAIP αAIP αAI` α↓I` ↓Aiph(β
⊂ ↓@ λ"QQ⊂ Ng @↓Ttx∧S@PλαS@@_α∪ P_αS P_αSP αSP(α∪P(αSP(αR``(αR``(αR``(αR`P0β∩`P0β∩`P0β∩@`0β∩@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αR@`8αRB$P ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩`P8αR`P0β∩`P0β∩``(β∩``(β∩``(β∪P(β∪P(αSP(αS` αS P αS P αS@@ α∪@P_α∪a%∧∀@D("→B1_+∃A0()B
P(A (↓ 0('A@ 0'A 00'↓@00'↓@@ '↓)`(&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AI0X%β 0X&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AI`("Qq(
TG⊂@↓A 5β@@Tx↓@a$pαa$pαa$hα@a$hα↓!∧`αA T`αA T`αA T`αA TXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ d`αA T`αA T`αA T`αA Thα↓ Dhα@`Tpα`Dhα@`Dh@ 0_↓S ⊂βS⊂(↓S∀X↓∩`∀XR`∀P↓∩@$P↓∩@$P↓R@4Pα∩AtXλ∩b∀`λSAth↓Bdh↓B T`αα@D`↓B`T`↓B`TXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβDXαβD`↓C4`αα@D`αα@Dh↓B@4hααDp↓B4x↓A@5¬∀@d("~α! *U ⊂λ@i 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓@@ %↓@00%↓@ @%↓@⊂⊂↓↓) 0@ @(%↓@⊂λα↓) 8αA) 8αA) 8αAI 8αAI 8αAI 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I0(βA(T 4AA¬(*@ TPβ∩@dPβ∩@dXαQb`λ@ 4Pβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dXαQ(FPπB-e(¬↓*00)AJ00)AJ@(#EA@_)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00)AJ00%A@0%↓@0(%↓@ 0%↓@ 0%↓@ 0%↓@ (%A ⊂0%Bi@H'↓(T 5D"E(*@ DPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαA@TPαA@TPαA@TPαA dPαA TPαA TPαATPαATPαATPαADPα@`TPα@`TPα@`TPα@@TPα@@TPα@@TPα@ TPα@ TPα@ TP¬∩A$P¬∩A$P¬∩A$P¬∩A4P¬RA4P¬RA4Pε∩@`λαR@`λαR@`λαR@P_αR@P_αR@P_αR@P_αR@P_αR@P αR@P αR@P αR@P αR@P(αR@P(αR@P(αR@P(αR@P(αR@P0αR@P0αR@P0αR@P0αR@P0β∩@P8αR@P8αR`@8αQ(F`βα
U(@ ⊂_%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%A(T 6H∧#H≤@ ⊂λ↓AP@αR@`_βA@tPβA⊂ ∧R@`λ↓@@P_↓@@TPβ _β@ _β∩@`λA P⊂A TP∧↓ Pλ↓↓ TPβA@PλA@TPβA@p0β∩@p0βA@dPβA@p0β∩@p0βA@dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩@`8β↓`dPβ↓``8β∩`P@αBT("≠B! ≤N ⊂λ@`@ %↓@00%↓@ @%↓@⊂⊂↓↓) 0@ @(%↓@⊂λα↓) 8αA) 8αA) 8αAI 8αAI 8αAI 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I0(βA(T 7EαSX≥αE∧∪a$pα@@Tpα↓DhαAThα↓@Dhα↓@D`αA@T`αA@T`αA@TXβ↓@dXαBTXαBTXαBTXαBTXαBTPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdPβαdXαBTXαBTXαBTXαBTXαBTXβ↓@d`αA@T`αA@T`αA@T`αA@Thα↓@DhαATpα↓Dpα@@Tx¬∀↓¬⊂α⊃(G ¬
∪H@ ⊂_A `%β) 8↓A 0α↓ 0α↓) 0αA 0αA) 0αA) 0αA) 0αA) 0αAI 0αAI 0β↓) 0β↓) 0β↓) 0β↓) 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓) 0β↓) 0β↓) 0αAI 0αAI 0αAI 0αA) 0αA) 0αA) 0α↓I 0α↓) 0α↓) 0α↓ 8↓↓) h%β 0A 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0("Q∞⊃⊂
∀'⊂8α@Uε∪aTpα@@tpα`thαAdhαAd`β↓d`αA d`αA d`αA dXβ↓ dXβ↓ dXβ↓ dXαA@dXαA@dXαA@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dXαA@dXαA@dXαA@dXαA@dXβ↓ dXβ↓ d`αA d`αA d`αA d`αA dhα↓ dhαAdpα↓dpα`txεT↓Eλα e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e8αQ(G⊂πD'∪H@ ⊂_↓↓ h%βI @↓↓) 0↓AI 0↓AI 0↓AI 0↓AI 0α↓ 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0("Q∞0hπNg α`∀hβ@∀`¬∪0λβ∩`@λβ∩`@λβ∩`@λβ∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@@⊂β∩@DPα∩@DPα∩@DXα∩`DXβ∪t`∧∪!∧pβS`uλαT@E⊂αT`E_α∀`E_α∀`E_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@`_α∩@pλα∩@pλα∩@pλα∩@pλα∩@pλ↓R@⊂λ∧R@⊂⊂βS@T("≥↓Pp$R0(&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I0X%β 0X&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@0&↓I@X&αi@X&αi@X&αi@X&αi@X&αi@X&αi@X&αi@X&αiPP&B)PH&B)`8'↓ip((hT :DBCP≤@ ⊂λ↓B 4Pβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓@dPβ↓ tXαA tXαA tXαA t`α@a∧`α@`⊂λβ∪!λβ∪@`⊂β∀0 ↓ $("≥B1 ≤∞(¬↓ (∧A) (∧A) (∧A) (∧A) (∧A)0 ∧A 0 ∧A 0(∧↓ 0(βA)0(βA)0(βA)0(βA)0(βA)0(βA)@ βA @ βA @(β↓ @(αA)@(αA)@(αA)@(αA)@(αA)@(αA)P αA P αA P αA P(α↓ P(↓A)P(↓A)P(↓A)P(↓A)P(↓A)` ↓A ` ↓A ` ↓A ` ↓A ` ↓A ` ↓A `(↓↓ `(A)`(A)p A p A p A p A p A p A p A p A p A
8(↓j8(↓j8(↓hT ;GβS@≤P8ααDPαA`@8αR@P0αA`TPαA@P8αR@P0αA`TPαA@`0αR@P0↓ 00αR`@0↓ 00α∩`@0↓ 00α∩`P(↓ 00α∩`P(↓ 00α∩`P(↓ 0(αR`P(↓ 0(αR`P(↓ 0(αR`P ↓@ 0(αR`P ↓@ 0(αR`P ↓@ 0(αR`P ↓@ @ αR`P ↓@ @ αS@ ↓@@ α∪@ ↓@@ α∪@ ↓@@ α∪P_↓@@ α∪P_↓@@_αSP_↓@@_αSP_↓@@_αSP_↓@@_αSP_↓@@_αSP⊂↓@@@_αSP⊂↓@@@_αSP⊂↓@@@_αS @⊂↓@`@⊂α∪ @⊂↓@`@⊂α∪ @⊂↓@`@⊂α∪ @⊂↓@`@⊂α∪ @⊂↓@`@⊂α∪ @⊂↓@`@⊂α∪ @⊂↓↓@⊂α∪ @⊂↓↓@⊂α∪ @⊂↓↓@⊂α∪ Pλ↓↓@λαS Pλ↓↓@λαS@@λ↓↓@λα∪@@λ↓↓@λα∪@@λ↓↓@λα∪@@λ↓↓ 0λα∪@@λ↓↓ 0λα∪@@λ↓↓ 0λα∪@@λ↓↓ 0λα∪@@λ↓↓ 0λα∪@@λA@0λα∪@`0∧∪@`0∧∪@`0∧∪`P0βS`P0βS`P8β⊃(G@
E'β@A↓0 %A!⊂(%A!⊂(&↓↓⊂(&↓! &↓ p(&↓ p &Ap &A P(&A P('↓P '↓ @ '↓ 0('↓ 0 'A0 'A 'A ⊂((↓⊂ (↓⊂ (α*@(Aj⊂8(AJ ()↓* ()↓
()↓* ((AJ⊂8(Aj@(↓⊂ (↓⊂ 'A ⊂ 'A ('A0 'A0 '↓ 0('↓P '↓P &A P(&A`(&Ap &↓ p &↓ p(&↓↓(&↓↓⊂ %A!⊂(%A!⊂(%A↓0(%↓!0(%↓!0(%↓!0("Q∂⊃
∀'λαB@DXαB TXαB TXαB TXαB T`αα T`αBD`αBD`αBD`αA`T`αA`Thα↓`Thα↓`ThαA@ThαA@DhαA@DhαA@DhαA@Dpα↓ Tpα↓ TpαATpαATpαATpαADxα↓Dxα↓Dxα↓Dxα↓Dxα↓Dxα@`Dxα@@Uα@Eα@Eα@Eα@Eα@Eα@Eλ↓@@Eλ↓@@Eλ↓@@Eλ↓@@5λ↓@@5λα 5λα 5⊂↓@ 5⊂↓@ 5⊂↓@ 5⊂↓@ 5⊂↓@ 5⊂↓@ %⊂↓@ %_αT`U_αT`U_αT`U α∀`U_αT`U_α∀`E_α∀`E_α∀@U⊂αT@U⊂α∀@DXα`DPβ@DPβ TPβ DPβ DPα@@DP↓@`DX↓@TX∧∩`t`αQ(GPλDGβ@↓βi1&βjP0*A*@0*↓J@0*↓J@()AJ00)AJ00)A* 0)↓J 0)↓*⊂0(AJ⊂0(AJ⊂((↓J0(↓J0(↓)p0'AIp0'AIp('↓I`0'↓I`0'↓)P0&AIP0&A)@0&↓I@0&↓I@(%AI00%AI00%A) 0%∧)!λ%∧(T ∧"U(*@"∧PλRB∀PλR@`0αR@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩`T("$∩_*U!P8+α*`H+α*`H+↓⊂ +↓⊂ *A ⊂(*A ⊂(*A ⊂(*A ⊂(*A (*A (*A (*↓ 0*↓ 0(*↓ 0(*↓ 0(*↓ 0(*↓ 0(*↓ 0()A @0)A @0)A @0)A @0)A P()A P()↓@P0)↓@P0)↓@P0)↓ `0)↓ `0)↓ `0)↓ p((A@p0(A@p0(A@p0(A@p0(A!0(A!0(A!⊂((↓A⊂0(↓A⊂0(↓A⊂0(↓A⊂0(↓! 0(↓! 0(↓! 0'AA00'AA00'AA00'AA00'A!@0'A!@0'↓A@8'↓AP0'↓AP0'↓AP0'↓AP0'↓!`0'↓!`0&AA`8&AAp0&AAp0&AAp0&AAp0&A"0&A"0&↓B8&↓B⊂0&↓B⊂0&↓B⊂0&↓B⊂0&↓" 0&↓" 0%AB 8%AB00%AB00%AB00%AB00%A"@0%λ)"λ%λ)"λ%λ(T ↓π$¬8+βU ∧Ta5⊂α↓ Eλα↓`Eαα Eαα Dxαα`Dxαα`DpαB`TpαB`Tpαβ DhαC ThαC ThαC ThαC T`αC`T`αC`T`αC`T`αC`TXββ`dXββ`dXββ`dXββ`dXαD TXαD TXαD TXαD TPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ↓! β∩@` ∧AdPβ↓↓⊂ β∩@` ∧AdPβ↓↓⊂ β∩@` ∧AdPβ↓↓⊂ β∩@` ∧AdPβ↓↓⊂ β∩@` ∧AdPβ↓↓⊂ β∩@` ∧AdPβ↓↓⊂ β∩@`(∧↓dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dPβ∧ dXαD TXαD TXαD TXαD TXββ`dXββ`dXββ`dXββ`d`αC`T`αC`T`αC`T`αC`T`ββ dhαC ThαC ThαC Tpαβ DpαB`TpαB`Txαα`Dxαα`Eαα Eαα Eλα↓`E⊂α↓ E_¬U↓∃0αQ(@_FJU(∧Aj H)α* H)α* A
A
A
A
A
⊂(A*⊂(A*⊂(A*⊂(A*⊂(A*⊂(A*⊂(A*⊂ ↓↓*⊂ ↓↓*⊂ ↓↓*(↓↓J(↓↓J(↓↓J(↓↓J(↓A*(↓A*(↓A*(↓A*(↓A*(↓A)p0↓AIp0↓AIp0↓AIp(α↓Ip(α↓Ip(α↓Ip(α↓Ip(α↓Ip(α↓Ip(αA)`0αAI`0αAI`0αAI`0αAI`0αAI`0αAI`(β↓I`(β↓I`(β↓I`(β↓IP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP(∧↓IP(∧↓IP(∧↓I@0∧↓i@0∧AI@0∧AI@0∧AI@0∧AI@0∧AI@0∧AI@0∧AI@(¬↓I@(¬↓I00¬↓i00¬↓i00¬AI00¬AI00¬AI00¬AI00¬AI00¬AI0(ε↓I0(ε↓I 0ε↓i 0ε↓i 0εAI 0εAI 0εAI (π↓HT αε#5(*@#∧PRC∀PRbt8⊃↓"∧pλSB∀pλSb∧8∩@#∧PRC∀PRc∧("↓#↓`*U ⊃8%ε !@%ε 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I 0ε↓I0(εA(T βεCU(*@#∀P
∩C$P
∩@`xαR`dXβ∩`dXβ∪d`β∪d`β∪ dhβ∪ dhβ∪@dpβ∪@dpβ∪`dxβ∪`dxβ∀eβ∀eβ∀ eλβ∀ eλβ∀ u⊂β∀@e⊂β∀@u_β∀`e_β∀`u β∃e_βT`e_β∀`e⊂βT@e⊂β∀@e⊂β∀ eλβ∀ eλβ∀eβ∀eβ∪`txβ∪`dxβ∪@tpβ∪@dpβ∪@dhβ∪ dhβ∪ d`β∪d`β∪dXβ∩`dXβ∩``hβ∩C$P
∩C$XQ(@8∞H
e0β↓↓⊂ '↓`p8&B PH&α@PP&↓@⊂ α`⊂0&↓ 0_↓@`0(%A@0_↓@`00%A@@_↓`00%A@@_↓`00%A@@_↓`00%↓@P_A@0%↓@P8αAI 0αA`P0%↓@`0αAI 0β↓@P0%↓@`0αAI 0β↓@P0%↓@`0αAI 0β↓@P0%↓@`0αAJ`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓Jp("Q↓↓P∞U*PXαUe β∃e β∃e β∃e β∃e β∃e β∃e β∃e β∀!Eπ∪b∧p ∪@Pλβ Thβ `λβ∪ P⊂β@T`β@`⊂β∪`⊂β@d`α@``_αR``_β`dXβ``_β∩``_β`dXβ``_β∩`P β↓TPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dPβ↓` β∩@` β↓dXαA` αR``_β`dXβ``_β∩``_β`dXβ``_β∪P_β`T`β@`⊂β∪`⊂β@dhα@@`⊂αS `λβ dpα@ `λαSB$xλ∀↓eλε∃e β∃e β∃e β∃e β∃e β∃e β∃e β∃e β∃ T("α#R*U!P(+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓I0(β↓@P0%↓`P0α↓i 8αA@@8%A@P0α↓I@0α↓@08&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AI@0α↓@00&↓@@0↓AIP(α↓@00&A @0↓AIP0↓A@00&A@00↓↓IP0↓A@ 0&A@00↓↓IP0↓A@ 0'↓ 00↓↓I`(↓A@ 0'↓ 00↓↓)`0↓↓@ ('A 0AIp(↓↓@⊂0'A 0A*(A@⊂((↓ ⊂0A
⊂ Bj⊂x)βJ0`*αJ`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓J`0+↓Jp("Q↓!`∂∃J`Xβ∀a%⊂ε∀ P αTP0αT@@α∪`P@αS`@Pα∪@PPαS@PPαS `Pβ∪ P`αS P`αS``β∪``β∪``β∪PpαSPpαR``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∩``pβ∪PpαSPpαSPpαS``β∪``β∪``β∪``β∪ P`αS P`αS P`αS P`αS P`αS `Pβ∪@PPαS@PPαS@PPαS@PPαS`@Pα∪`@Pα∪`@Pα∪`P@αS`P@αT@@α∀@@α∀@@α∀@@α∀@@α∀ 0@↓T @0α∀ @0α∀ @0α∀ @0α∀@00↓T@00↓T@00↓T@00↓T@00↓T@@ α∀@@ α∀`0 ↓T`0 ↓T`0 ↓T`0 ↓T`0 ↓T`0 ↓Ra0 ε∩A@ ε∩A@ ε∩a0(¬Q(C ¬
u0β↓Ip@'αI` ↓↓ P(↓↓)P α↓ P α↓ @(α↓)@(α↓)@(α↓)@(α↓)@ β↓ @ β↓ 0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓) 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)@(α↓)@(α↓)@(α↓)@(α↓)@(α↓)P α↓ P α↓ P(↓↓)` ↓↓ `P'B
0"Qε⊂x U*P8α∀ Eλα∀ Eλα∀UαS`dh∧∪↓∀`∧R` ⊂β∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∩adPπRAtXπ⊃(C⊂ ¬
e0β↓)p@'αIP`&A0(&↓ 00&↓ @(%A@@0%A@@0%A P0%A `(%A `(%A `0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%Ap0&A0+↓J`0+↓*P0*AJP0*AJP0*A*P(*A*@0*↓J@(*↓*@()AJ0()A*0()A* ()↓* ()↓
⊂((A*⊂((A
((↓* (↓ p('A p 'A `('↓ ` '↓ P &A P &A @ &↓ @ &i0 %A 0 %@i!⊂%∧I!⊂%D(T →DBE8+↓@DxβSA∀h¬S P⊂αS`⊂αS`⊂αS`_αSP αR`` αR`` β∩`` β∩`` β∩`` β∩`` β∩`` β∩`` β∩`` β∩`` β∩`` β∩`` β∪@(β∪ 0β∃ e(β∃ e(β∃ e(β∃ U(αU U(αUe αUU α∀`U_α∀eαTe ↓UE(α∃ E(αU U(αU@U0αU@U0αU@e0β∃@e0β∃@e0β∃@e0β∪ @β∩`@8β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0αR@`0αR@`0αR@`(β∩`` β∩`` αR`` αR`` αSP_αS`⊂αS↓Dh¬∪A¬α⊃(C
¬*U(¬↓J@0)Aj08)@ ⊂()@ ⊂()@ ⊂()@ ⊂()@⊂()@⊂()@⊂()@⊂()@⊂()@⊂((@`⊂((@`⊂((@`⊂((@`⊂((@@ ((@@ ((` ((` ((` ((` ((` ((` ('A ('A ('@`0('@`0('@`0('@`0('↓0('↓0('↓0('↓0('`@('`@(&A@(&A@(&A@(&A@(&A@(&@`P(&↓P(&↓P(&↓P(&↓P(&↓P(&↓P(%A`(%A`(%A`(%A`(%A`(%A`(%↓p(%↓p(%¬ ! %¬ 1_*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P()β
⊂h(C* `"QεQ⊂
∃JP⊂π∩atXπR`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ∩`dXβ DXε∩aTXβ@`DXβ↓DXβ↓TXβ↓TXβ↓TXαA@DXαA@TXαA@TXαA@T`α↓@U0αU@U0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∃@e0β∩`@8β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0αR@`0αR@`0αR@`(β∩@`(β∩@`(β∩`P(αR`P(αR`P β∩``_αSP_αSP⊂αS↓Dh¬∪A∧xαQ(C0 ¬
u0∧A* 8(B*P'A 0 'A@ '↓ @ '↓@('↓@(&A 00&A 00&A 00&A@0&↓ P &↓ `⊂&↓)@(&↓)00%AI0(%A)0(%A)0(%A) 0%↓I 0%↓I 0%↓@ %↓@⊂0%↓@⊂8%α (%α (%↓`@ %↓`@(%↓`@(%↓`@(%↓`P(%↓@`(%↓@`(%↓@`(%↓@`(%↓@`(%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%↓@`0%A `0%A `0%A `0%A `0%A `0%A `0%A `0%A `0&↓`(&↓`(&↓ P(&↓ P(&↓ @0&↓ @0&A@(&A@(&A@('↓ ('↓ ('αipH(↓j⊂("Qεq⊂
∃JPλλRB$P ∩b∃@α⊗5@↓V58α∃`E8α∃`50α∃@E0α∃@E0α∃ E(α∃ E(α∃U αUE α∃E_αT`U_αT`U_α∀`E⊂αT@U⊂αT@U⊂αT@Uλβ∀ UλαT UλαT UλαTeβ∀eβ∀UαTUαTTxβ∪`dxβ∪`dxβ∪`dxβ∪`dxβ∪`dxαS`TxαS@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dxα⊃(C@ ¬
u0β↓Ip@'αI`P&A (&A (&↓ @(&↓ @(&↓ @(&↓ @(&↓ @(%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0%A@@0&↓ @(&↓ @(&↓ @(&↓ @(&A@ &A@ &A ('↓ 'B
⊂ 'B ` ↓↓ P α↓ P α↓ @(α↓)@(α↓)@ β↓ 0(β↓)0(β↓)0(β↓)0(β↓)0(β↓) 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I 0β↓I0(β↓)0(β↓)0(β↓)0(β↓)0(β↓)00α↓I@(α↓)@(α↓)@(α↓)P(↓↓)P`'αIp@(AλT ≤DBE8+↓@TxβSA∀p¬∪ P⊂α∪ P⊂αSP α∪P α∪P α∩`` αR`` αR`P(αR`P(αR`P0α∩`P0αR@`0αR@`0αR@`0αR@`0αR@`0αR@`0αR@`0αR@`0αR@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩@`0β∩`P0β∩`P(βR`` βR`` βR``(β∩``(β∩``(β∪` β∪p_β∪` β∪ @(β∃@e0β∃@e0β∃@e0β∃@U0αU@U0αU@U0αU@U(β∃ U(αS 0αS@(αR`` αR`` α∩`` α∩`` α∩``_αR``_α∩``_α∩``⊂αR`pλα∪↓4`¬∪!∧pβ⊃(B λ∧l5`∧J⊂_(@j⊂_(@j⊂_(↓)p8'α)PX&@`⊂8&↓⊂@&↓⊂@&` @%A @%A @%A H%A H%A H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0H%↓0_A ↓@` ⊂%↓0_%↓0_%↓0_%↓0_%↓0_%↓0_%↓0_%↓0_%↓0_%↓ _%A _%A _%A ⊂_&α @@&B PH'α)p@(α
⊂8(B
⊂@(@`⊂ (@`⊂((@`⊂((@` (@` (@` (@` (@` (@` (@` (@` (@` (@` &@0_↓↓ 0 ↓` %↓@⊂_↓↓ 0@` %↓@⊂_↓↓ 0@` %↓@⊂_↓↓ 0@` %↓@⊂_↓↓ 0@` %↓@⊂_↓↓ 0@` %↓@⊂_↓↓ 0@` %↓@⊂_A PA PA 0HA 0HA 0HA 0H@i@`&β @X&BI`@(↓*⊂_(@j⊂_(@j⊂_)HT ∪πD¬8+α`5_βTA∃⊂α Eλα@ Uλα@Uλα`Eα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Uα@`Eα@`Eα@`Eα@@Uα@@Eα@@Eα@@Eα@@5α@@5α@ Eα@ @Pα∀Pλ↓B@Uα@ 0PαT!PαT pPαT pPαT pPαT `XαT `XαT `PαT PXαT PXαT PXαT@PPαT@PHαT `HαT `HαT `HαTpHαT↓8αT↓8αS`0λαA`Tx↓@ P8αS`0λαA@dp↓@`P(αS@0_αA Tp↓@`P(αS @_αA Thα``_αS 0(α@`T`α↓ P_αS@(α@`T`α↓ P⊂αR`P0α@ TXαA@PλαR`P0α@ TPβ↓A$Pβ↓a∀Pβ↓a∀Pβ↓a∀Pβ↓a α∩@`@β@`TPβαp_αR@`@β↓TPβα` αR@`HαATPβα` αR@`@β@`TPβ↓a_αR``0∧`TXβ↓! ⊂αR``(¬@TXβ↓P⊂α@D`β@`⊂α@ D`εA↓∀h¬A!∧p∧A`uαB`D("∂aq⊂+∃@P('↓iPH&↓ ⊂(&↓ ⊂(%A@⊂0%A@ (%A@ (%↓` (%↓@00%↓@00%↓@00%↓@00%↓@00%↓@00%↓@00%↓@00%↓@00%↓@00%A@0&@P0)AJ00)AJ00)AJ00)A*0()A* 0)↓* ()↓
)↓
⊂ (A
⊂ (A
⊂ (@j⊂_(↓
(↓
(↓
(↓
'A)p('A)p('A p 'A p 'A p 'A)p('A)p('A)p('A(phαA)`0'↓I`0'↓Ip("Qπ`x ∃GP(αS@dpβ∪@dpβ∪`T8εA TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`Dxα∪`Dxα∪`Dxα∪`Dxα∪`4pα∪@Dpα∪@Dpα∪@4hα∪ Dhα∪ D`αSTXαR`TXαR`TPβ∩@dPβ∩@dPβ∩@dPβ↓ $Pβ↓DPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dPβ`dXα@`TXα@`TXα@`TXα@`T`α@@D`α@ Th∧S@txαQ(Aβαπ∪H@ ⊂_%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%A(T λCa∃⊂≤C5_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`e_β∀`dXα↓dPβ`TPβ@dPβ@dPβ@dPβ@TXα@ dX¬S↓∀pαQ(AH
Eju0βA)pH'αiP(↓A)@(αA)@(αA)00αAI0(βA)0(βA) 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βAI 0βA) 0βA) 0β↓I 0β↓I 0β↓) 0β↓) 0αA) 0↓AI 0↓A) 0↓AI 0αA) 0β↓) 0β↓) 0βA) 0βA) 0βA) 0βAI 0∧↓) 0∧↓) 0∧↓) 0∧↓I 0∧↓I 0∧↓I 0∧↓I 0∧A) 0∧A) 0∧A) 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧A) 0∧A) 0∧A) 0∧A) 0↓@` 0%↓@ (A) 0↓αi 0↓αi 0↓↓ ⊂ %↓@ A) 0↓` %↓@08%A 00*hT
πCsX≥↓@PH↓Sa(βSA _∧S@P⊂α P⊂α∪ `⊂α @_α∪ `⊂∧@`DhβA⊂ α∪`_∧↓ D`β↓p(α∪` βA T`β↓p(αS` βA T`β↓p(αS` βA@D`β↓`8αS` β↓`T`β↓`8αS` β↓`Thα↓ `8αS@ 0β↓`U0β↓`U0β↓`U0β↓`U0β↓`U0β↓`U0β↓`U0β↓`U( TBeε∪``λβ∪@`⊂β∪ `_β∪ `_β∪` β∪` β∩``(β∩``(β∩``(β∩`P0β∩@`0β∩@`0β∩@`0β∩@`8αA`TPβ↓`P0β∩@`8αA@dPβ↓``(β∩@`8β↓ dPβ↓``(β∩@`8β↓ dPβ↓``0αR@`0βA@TXαAA(α∩`P0∧↓ DXαA!⊂(α∪P ↓@@@(α∪P_α@P ↓S! ¬SA0∧T@PαQ(AX⊂HG3P∧@a0_(A`p8(α PH'A0 ↓A '↓P ↓↓0 '↓P A 0 &A PPα↓ P βBP &↓ p@αA @(βBP(&↓ p@αA)@(βBP(%A@p@αA)0(∧A`` %A!⊂0βA)0(∧A@p(%A!⊂0βA)0(∧A@p(%↓A⊂0βA) 0∧A@p(%↓A⊂0βA) 0∧A@p(%↓A⊂0βA) 0∧A@p(%↓A⊂0βA) 0∧A@p(%↓A⊂0βA) 0∧DI 0∧DI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI 0∧AI0(∧AI0(∧A@p(%A!⊂0β↓I0(∧A@`0%A@p@αAI00βBP0&↓ p@αAI@(βBP0&↓ p@β↓)@(βB`(&ApHαA P(αB@P '↓P A P '↓P ↓↓P 'A0 ↓A @_(α PX(A`pH)@a0("QβA
Tha↓⊗@5P↓V@5H↓V 5H↓V 5H↓V 5@↓V5⊂α@5¬SaDpα↓Dp↓A@4hα↓@Dhα↓@Dh↓A`D`α↓@d`α↓@d`α↓@dXαA@tXαA@tXα↓`tXα↓@0λα∩`@0↓@ DXα↓@0λα∩@P0↓@ TPαA@0λαR@P(↓@@TPαA 0⊂αR@P(↓@@TPαA 0⊂αR@P(↓@@TPαA 0⊂αR@P ↓@`TPαA0_αR@P ↓@`TPαA0_αR@P ↓@`TPα@`0 αR@P_↓ATPα@`0 αR@P_↓ATPα@`0 αR@P⊂↓A TPα@@0(αR@P⊂↓A TPα@@0(αR@P⊂↓A TPα@@0(αR@Pλ↓A@TPα@ 00αR`@λ↓A@DXα 00α∩`@λ↓A@DXβA`DXβA@TXβA@T`β↓@D`β↓@D`β↓@D`αA`Dhα↓@Dhα↓@Dp↓A@4pα↓Dhε∪!4h↓@@Dh↓S 4`↓S4`↓S4`↓S4X↓R`4X↓S$("π$B(*U!Q(+¬Ja0+¬J``αA*`(AJ`(AJP0AJP0AJP0AJP0AJP0AJP(↓↓JP(↓↓J@0↓↓J@0↓↓J@0↓↓J@0↓↓J@(↓AJ@(↓AJ00↓AJ00↓AJ00↓AJ00↓AJ00↓AJ0(α↓J0(α↓J 0α↓J 0α↓J 0α↓J 0α↓J 0α↓J (αAJ (αAJ⊂0αAJ⊂0αAJ⊂0αAJ⊂0αAJ⊂0αAJ⊂(ββ*⊂(ββ*0ββ*0ββ*0β↓J0β↓J(βAJ(βAIp0βAIp0βAIp0βAIp0βAIp0βAIq_'Dia '¬ `0∧↓I`0∧↓I`0∧↓I`(∧AI`(∧AIP0∧AIP0∧AIP0∧AIP0∧AIP0∧AIP(¬↓IP(¬↓I@0¬↓I@0¬↓I@0¬↓I@0¬↓I@(¬AI@(¬AI00¬AI00¬AI00¬AI00¬AI00¬AI0(ε↓I0(ε↓I 0ε↓@p(%↓AA⊂%↓AA⊂%↓AA⊂%↓!aλ"Qβb@∃∃j`XβTcU⊂∂∀ P ∀P0
T@8∧αTxαBtxαα tpαB tpαB tpαα`dhαB`dhαB`dhαB`d`βα`d`αCd`αCd`αCd`αCdXββdXββdXββdXββdXαC dXαC dXαC dXαC dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ"∧Pββ"∧Pββ"∧Pββ"∧Pββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dPββ dXαC dXαC dXββdXββdXββdXββdXββdXββd`αCd`αCd`αCd`βα`d`βα`dhαB`dhαB`dhαB`dpαB@dpαB tpαB txαα txαBuα↓aPαTP0T P ∀D¬_∂U t("πcR2WB`⊂0l_0kp_/@kp_/@j`(αj@H↓j0p)↓P0(Ap((↓↓⊂ (↓↓⊂ 'A↓ ('A↓ ('↓! 0'↓↓00'↓↓00&A!08&A! @&A! @&A↓0_A @(¬@`⊂(&↓!0_A)@(¬` (&↓! _↓↓)00¬` 0%AA _↓↓I00¬` 0%AA _↓↓I0(¬`@(%A! _α↓)0(¬`@(%A! _α↓) 0¬`@0%↓A⊂_αAI 0∧@`P0%↓A⊂_αAI 0∧@`P0%↓A⊂_αAI 0∧@`P0%↓A_β↓I 0∧``0%↓A_β↓I 0∧``0%↓A_β↓I 0β@`p0%↓@p_βAI 0β@`p0%↓@p_βAI 0β@`p0%↓@p_βAI 0βa0%↓@`_∧↓I 0βa0%↓@`_∧↓I 0βa0%↓@P_∧AI 0α@a⊂0%↓@P_∧AI 0α@a⊂0%↓@P_∧AI 0α@a⊂0%↓@@_¬↓I 0αa 0%↓@@_¬↓I0(αa (%A @_¬↓)0(↓@a0(%A 0_¬A)0(↓@a0(%A@ _¬↓I00↓a 0%A@ _¬↓I@(@a0(&↓ ⊂_¬A)@(@a0(&↓ ⊂_¬A)@(@a0(&Aa0(&Aa0(&Aa0('↓A0 '↓A0 '↓A ('A↓0 'A↓0 (↓↓⊂ (↓↓⊂ (↓ p 'A`P '@`⊂X'@` H'@`@('@ip_'i`_'ip⊂"Q∧⊂0¬∃*Pβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dXαQaPλαR@dPβ∩@dPβ∩`T("∂`P*O ⊂(%↓I 0%↓I 0%A(phA) 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓HT ⊃Gd&h*C@ 8↓∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃`@(α∃@P αU@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃@@(α∃ P αU @(α∃ @(α∃ @(α∃ @(α∃ @(α∃ @(α∃ @(α∩cTP∂RCtX∞U@(α∃@(α∃@(α∃@(α∃@(α∀`P αT`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀`@(α∀@P αT@@(α∀@@(α∀@@(α∀@@(α∀@@(α∩cTP∂RCtX∞T @(α∀ @(α∀ @(α∀ @(α∀ @(α∀ @(α∀ @(α∀P αT@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∀@(α∪`P αS`@(α∪`@(α∪`@(α∪`@(α∪`@(α∪`@(α∪`@(α∪`@(α∪`@(α∪`@(α∀ 8↓⊃(B(∩ l5`αAα0⊂'↓B⊂ &Bα &@` _λ↓ @ ↓↓↓`(&↓ π↓ @ ↓↓↓` %A (εA 0 ↓A!@(%A@ ε↓ 0 α↓↓@ %A@ ε↓ 0 α↓↓0(%↓ @(¬↓ (α↓! %↓ @(¬↓ (α↓! %↓ @(∧A) (α↓!⊂ %↓ @(∧A (α↓!⊂ %↓ @(∧↓) (α↓! %↓ @(∧↓ (α↓! %↓ @(βA) (α↓ p %↓ @(βA (α↓ p %↓ @(βA (α↓ `(%↓ @(β↓ (α↓ ` %↓ @(β↓ (α↓ P(%↓ @(αA (α↓ P %A@ β↓ 0 α↓` %A@ αA)0 α↓P %A0(αA 0(↓↓ P &↓ αA)@ ↓↓P &↓ αA P_↓`` &BP('↓@` 'Ap -↓p -↓`0,A P@,A`_↓k⊂ αA ,AP ↓↓(αA ,↓P(↓↓+ αA0(,↓P α↓
p(αA@ +A` α↓
p β↓@ +AP(α↓*p αA @(+↓ P(α↓*` β↓ @(+↓`(α↓*` β↓ @(*A `(α↓*P βA @(*Ap(α↓*P βA @(*↓ p(α↓*@ ∧↓ @(*↓↓(α↓*@ ∧↓ @(*↓↓(α↓*0(∧↓ @()A↓⊂(α↓*0 ∧A @()A↓⊂(α↓* (∧A @()↓↓ (α↓* ¬↓ @()↓↓ (α↓* ¬↓ @((A!0 α↓
⊂ ε↓@ (A↓@ α↓
⊂ ε↓@ (↓!@ ↓A* εA ((↓↓` ↓↓
π↓ 'A!` ↓↓ p λ` _'Aα@'Aα⊂0(B0 "Q∧p8∧DJPλβ∩`dXβ∩`dXβ∩`dhα∪ 4`α∪D`α∪4`↓R`DXα∩`4X↓R`4Pα⊃(B@εβO5`∧@j0_)j _(A
⊂_(↓
(↓ p 'A p '↓)`('↓ ` &A)P(&A)P(&↓)@(&↓)@(&↓)00%AI00%AI00%AI0(%A)0(%A) 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I 0%↓I0(%A)0(%A)00%AI00%AI00%AI@(&↓)@(&↓)@(&A)P(&A)P('↓ ` '↓)`('A p 'A
(↓
(@j⊂ )j _)@j0_"Q¬⊂`π↑k@↓R@4X↓R`4Xα∪4`α∪D`α∪ Dhα∪ DhαS Tpα∪@DpαS@TpαS@TxαS`TxαS`TxαS`dxβ∪`dxβ∪`dxβ∀UαTUαTeβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀eβ∀UαTUαS`dxβ∪`dxβ∪`dxβ∪`TxαS`TxαS`TpαS@TpαS@Tpα∪@DhαS Thα∪ Dhα∪D`α∪D`↓R`DX↓R`4P↓R@4("
B! ≤↔↓⊂(A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ )J ⊂)I0⊂α@@P⊂%↓@⊂α↓ α@@ %@`@⊂αi0 ↓@@0 &`0⊂↓@iP_↓@ _&@` ⊂↓i`_@@⊂_'@@⊂⊂@Ip⊂@@⊂⊂(↓J⊂ (A
⊂(A
⊂ (↓Ip⊂@@⊂⊂'@@⊂⊂@I`_@@⊂_&@` ⊂↓iP_↓@ _&`0⊂↓@i0 ↓@@0 %@`@⊂αi α@@ %↓@⊂α↓ 0⊂α@@P⊂)J ⊂)J⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
⊂"Q¬1h⊂π%Pp↓∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∩c4P∞RCTX
U`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α⊗$("pH ↓ ⊂0%AI00%AI00%AIP &@i@ &↓ @ &i@_%A 0 %@i0_%@i "Q¬`0∧A Pβ∩@dPβ∩@dPβ∩@d("b↓_=W↓P⊂+↓
` +↓
` +↓
` *A
P *A
P *A
P *A
P *A
P *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ )A
0 )A
0 )A
0 )A
0 )A
0 )↓
)↓
)↓
)↓
)↓
⊂((A
⊂ (A
⊂ (A
⊂ (A
⊂ (A
((↓
(↓
(↓
(↓
(↓ p('A p 'A p 'A p 'A p 'A `('↓ ` '↓ ` '↓ ` '↓ ` '↓ P(&A P &A P &A P &A P &A @(&↓ @ &↓ @ &↓ @ &↓ @ &↓ 0(%A 0 %A 0 %A 0 %A 0 %A (%↓ %↓ %↓ %@HT ≥↓A∪@≤dPβ∩@dPβ∩@dPβ⊃ePβ∩@dPβ∩@dPβ∩@d("∞`pH"N⊂0%AI00%AI00%AHrhAI00%AI00%AI00&A P_&↓ @ &↓ @_&i0 %A 0_%@i0_%↓λT ≡G$αλ↔@#4P∞RCTX
Qc λ
RCTP∞Rc4("⊂αqP+UA@(*α
0P)↓@_(AP (↓p_(↓p 'A↓ 'A↓ '↓! '↓↓⊂ '↓↓⊂(&A!⊂(&A↓0 &A↓0 &↓!0 &↓!0 &↓ ` A @ βαI@ αBi0(α↓ 8%A @ ↓↓i0(↓A@0%A 0 α↓I0(↓A@0%A 0 α↓I0 ↓A @0%A0(α↓I (↓A @0%↓ 0 β↓) (↓A`(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ `(%↓ (β↓) (↓↓ ` %↓ 0 β↓ (↓A` %↓ 0(α↓) (↓A @(%A0(α↓)0(↓A@ %A 0 α↓ 0(↓A@ %A 0 α↓ 0(α↓ %A @ ↓↓ 0(αB @ β↓I@(β↓ @(&↓)@(&A P(&A)P('↓↓ ('↓! 'A↓ 'A!⊂ (↓↓⊂_(↓ p (A P )β
0P*AHT -B!GX.!∧P∧RA∀Pβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dPβ∩@dP∧RA∀X∧⊃(Eh∧BO5`B H%B P0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AI0@%α)0@"Q8¬∧JP ↓S 4h↓S 4`α∪D`↓S4Xα∩`DXα∩@DPα∩@dPβ∩@dPβ∩@dPβ⊃(A⊂¬βbE(↓I0 %↓I 0%↓I00%AI00%AI@0&↓I@0&↓IP0&AIP0&AI`0'↓I`0'@hT BB⊃ *A@$xα∪@dpβ∪@dhβ∪ dhβ∪ d`β∪d`β∪dXβ∩`dXβ∩`dPβ∩@dPβ∪4("¬α↓_εS@ _βi 0α↓I 0α↓I00↓↓I00↓↓I@(↓↓)PP&BI`@'AIp0(↓
⊂⊂"QαPp ∧jPλ↓α4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4P↓B4X↓A@4X↓A@4X↓A@4Xα↓D`¬∪↓$h∧∪`D("¬B↓_↓R⊂x%∧ !%ChT BbA⊂*@`T`βRa∀X↓@`4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4P↓A 4X↓@`4X∧SthαQ(A@π∧BpλαA)`0'↓I`0'↓I`0'↓I`0'↓j⊂((AJ ()↓J 0)↓J 0)↓J ((AJ0'↓i P%α 0 "Q∧↓εCf0h↓∃@E(αUU_αT@UλαTTxαS@ThαSTXαR@TPα∩`$("↔B↓_λU p⊂(@j (↓ p0'AI`@'α PP&BI@(↓↓)@(↓↓)00↓↓I0(α↓) 0α↓I 0α↓I0 β↓λT /AA⊂(*@ TPβ∩@dPβ∩@dXαQ(GhπDBE(↓`P_%A 0(%A@ 0%A@ 0%A@ 0%A@ 0%A@ 0%A@ 0%↓`⊂8%↓`⊂8%↓`⊂8%↓`⊂8%↓`⊂8%↓`⊂8%↓@ 0%↓@ 0%↓@ 0%↓@ 0%↓@ 0%↓@ 0%A 0("Q∂`p αj0 ↓A$hα↓4hα@`4`β@4`β@4`β@ 4X↓@ tX↓@@dX↓@@dP↓@`TP↓ADX↓↓4("∨aa⊂αU ⊂(↓A) 0↓↓I 0↓↓I 0↓↓I 0↓↓I0(↓A(T ¬H∧¬0+βP8αU↓ ∧∀A0λ¬T P⊂¬@Uα@a⊂_β∪``_∧@`dxαA↓ β∪@` ∧↓dpβ↓↓(α∪@P0β∪@P8αS `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∩a@⊂¬∩AP⊂¬∩a@⊂¬∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪@P8αQ(@`
E*e0ε↓*@@)αj⊂(↓↓*(↓AIp0↓AIp(α↓I`0α↓I`0α↓I`(αAI`(β↓ P0β@IP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AIP0&AA⊂_%E !(%E P0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓IP0β↓I`(βA(T εE"U0+βU ¬TAUλα@@uα@`txβ`txαAtpβ↓tpβ↓ dpαA@dpαA@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dhβ↓@dX
∩BTX
∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪ `0β∪@P8αQ(@p⊃λJe0ε↓@p(*α @@)β⊂X(A 0P↓↓*(αα 00'A@@H↓AIp(αB@0'↓@P@α↓I`0αB@0'↓ `8αAI`(βA@` &A@p0β@IP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAIP0βAA⊂_%H)"⊂%H)P0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0&A@p0β↓IP0βA@`0'↓!(βA(T πHD%0+β`8αU↓⊂ ¬TA@λεT P_¬@uαA↓⊂_βS`` ∧@`txαA! βS@`(∧↓tpβ↓!(β∪@P8β↓@dpαBP0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dX⊂RD$X⊂S `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dhβ↓``0β∪ `8β↓@dpαBP8αQ(B⊂λDB%(A@@0%A@@0%A@@0%A@@0%A@@0%A@@0&A` &@`p_&↓` &↓` &↓` &`p_&`p_%A` %A` %@`p_%@`p_%@`p_%↓` "Q¬PP¬@CPλ∧RA$X∧Q(E`λE"%(α`p_&@`p_&@`p_&@`p_&↓` &↓` &`p_&`p_%A` %A` %A` %↓` %↓` %↓@@0%↓@@0%↓@@0%↓@@0%↓@@0%↓@@0"Q∂10D@λ
RBdX
Q(G`⊗K " K "h%Kλ↑xλYMvp:→L⊗h4[∂∩!S*5_!⊗≥q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_:@|π@←@∀29r8_B0WB0W?␈␈x⎇⊗␈␈␈xp@/=@↓@α)∨@π∂X{$`π*V∞6∂0↓ hX_≥>}`_∞↓,λ8β`9=@Apαw<π\8{↓$⊂ε-B∂>∂0βλ `[∧∨Q}`8∩↓[0βx␈=Aαλβ⊗aλ⊂H{α$@εl⊂MO0¬λ `[∧!x>`X
@↓$ $π
⎇AA@α,P∞_P{β#∧X↔ ≤W␈0π p"∩@:¬↑`x∩@↓d %π(y⎇BX↓αl_
FP{∧!@α$⎇0∃≤␈0 ¬`@f46c↑a_@↓`hεh←⎇BA8α→M
←{¬"p∧3~≠C←0¬`@f47≠≡a8∂↓;X`εp=⎇C↓ ↓z(
l⊂{ε#⊂∧\9 ∃4/0
λ `[∧+B}aX∩↓[0¬@!=CA8α→M→λ{π$pπI{⊗↑∂0∂↓λ∞≡.⊂>ax∩↓[0¬hP=DX↓αl_
oH{λ!pαw<↔r←0⊃¬`@w<@;|↑b_∪↓jPXεe⎇DA8α→M |P{ %0λ≥hP_O/0∪λ@h$}@(P}b8ε@N_Hε `⎇E↓⊂↓[βNp{
" β6ε→=←0∃¬`@f43;≡bX∩↓[0ε8↑⎇E@h↓≤9
{!pαw<≡λ←0↔β qd4>bx@↓`hε@ =F↓8α→MλSp{"p∧3~⊃S∨0→¬`@f4#S↑c_@↓`h∧@≠⎇FA8α→M ∀⊂{
"p∧3~∩L∨0≠¬`@f4%U↑c8@↓`h∧`F⎇G↓8α→M T⊂{∞"p∧3~∪R?0≥β qd4O}cXε@N_HεH0=G@x↓;↑β{∂$@εl~3?0∨¬@@'j)j>cx↓∧xT¬⊂t=H↓pαw<
≠ {⊂#`¬nx∧?0!π@X]p\≡d_⊂@↓K0λ⊂\⎇HBλβ⊗a>⊂{⊃#0¬⊃ ↓&∨0#ε HcHαz≡d8⊃@↓Wλe@0N⎇Iαλβ⊗a⎇`{∩!`αR>`α&?0%¬@@'j∧y↑dX⊂↓C@tP\⎇IA@α)∨@↓@`{∪%⊂πi β_∨0'λ `[∧πU↑dx⊂@↓K0λ↓λ&⎇J↓hαgi@α*@{∀$⊂ε-B∧u∨0)λ`6ε`
L↑e_@↓≤8⊂↓0N⎇JApαw<α|`{∃$ε∞≥ε⊂?0+π@X]pw↑e8∃@α x(↓X→⎇K↓pαw<β\`{⊗#`¬nxπ↑␈0-πP`\⊂↓↑eXπWh∃εX1⎇KA8α≥o⊂∂¬⊂{↔!`α←% ≠/0/¬`@f47H≡exε@N_Hεx+⎇Lh↓≤9
Vλ{_"`∧→M λ↔←01¬`@⎇∀`⊂g≡f_
⎇⊂@α⊂←⎇LA8α∨%_∧7@{→"P∧0` ∪←03β@(0.∩Z≡f8@↓`hα0∀⎇M↓8α∨%_∧u@{~!0α¬X0
⊂␈05β Iz`∀D↑fX↓πh∃@αHm⎇M@X↓αl_¬.0z[ α(↓hnx`∃f}fp@↓∂P)@αhλ=Mq8α→M¬`8{≤αp∧>J0↑/08E@@>J`_β>g⊂ @r8j@βλ∪=N1⊂↓↑∪@ε≠λ{≥α β=∀ O∂0:E`@⎇∀`→D}g0↓πh∃@β ε=Nqxα⎇∀_εNX{≡α`∧∨%0
Ro0<E@@>J`≠X>gP
yx&@β@A=O18α→M∂
({∨¬`λf4≡⊗/0>E`@f47Z↑gp@↓`hεxb⎇Oq8α→M
␈`|@π@} {⎇xow{⎇x